public class X extends Y<@Marker Integer> {}
class Y<T> {
    Zork z;
}
